Multidimensional generalized automatic sequences and shape-symmetric morphic words
نویسندگان
چکیده
Numeration Systems Definition An abstract numeration system is a triple S = (L,Σ, <) where L is a regular language over a totally ordered alphabet (Σ, <). Enumerating the words of L with respect to the genealogical ordering induced by < gives a one-to-one correspondence repS : N → L valS = rep −1 S : L → N. Example L = a∗, Σ = {a} n 0 1 2 3 4 · · · rep (n) ε a aa aaa aaaa · · · Abstract Numeration SystemsNumeration Systems Example L = {a, b}∗, Σ = {a, b}, a < b n 0 1 2 3 4 5 6 7 · · · rep (n) ε a b aa ab ba bb aaa · · · Example L = a∗b∗, Σ = {a, b}, a < b n 0 1 2 3 4 5 6 · · · rep (n) ε a b aa ab bb aaa · · ·
منابع مشابه
A Characterization of Multidimensional S-automatic Sequences
An infinite word is S-automatic if, for all n ≥ 0, its (n + 1)st letter is the output of a deterministic automaton fed with the representation of n in the considered numeration system S. In this extended abstract, we consider an analogous definition in a multidimensional setting and present the connection to the shape-symmetric infinite words introduced by Arnaud Maes. More precisely, for d ≥ 2...
متن کاملOn Uniformly Recurrent Morphic Sequences
In the paper we mainly deal with two well-known types of in nite words: morphic and uniformly recurrent (=almost periodic). We discuss the problem of nding criterion of uniform recurrence for morphic sequences and give e ective polynomial-time such criterion in two particular cases: pure morphic sequences and automatic sequences. We also prove that factor complexity of arbitrary uniformly recur...
متن کاملMix-Automatic Sequences
Mix-automatic sequences form a proper extension of the class of automatic sequences, and arise from a generalization of finite state automata where the input alphabet is state-dependent. In this paper we compare the class of mix-automatic sequences with the class of morphic sequences. For every polynomial φ we construct a mix-automatic sequence whose subword complexity exceeds φ. This stands in...
متن کاملLogarithmic density in morphic sequences par
We study the logarithmic frequency of letters and words in morphic sequences and show that this frequency must always exist, answering a question of Allouche and Shallit.
متن کاملA Hierarchy of Automatic Words having a Decidable MSO Theory
We investigate automatic presentations of infinite words. Starting points of our study are the works of Rigo and Maes, and Carton and Thomas concerning the lexicographic presentation, respectively the decidability of the MSO theory of morphic words. Refining their techniques we observe that the lexicographic presentation of a (morphic) word is canonical in a certain sense. We then go on to gene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics
دوره 310 شماره
صفحات -
تاریخ انتشار 2010